Supporting Data Consistency in Concurrent Process Execution with Assurance Points and Invariants

....................................................................................................................IV LIST OF FIGURES ........................................................................................................... V 
 I. INTRODUCTION........................................................................................................... 1
 
 II. RELATED WORK....................................................................................................... 5
 2.1 Transactional Issues for Web Services ................................................................ 5
 2.2 Transactional Workflows..................................................................................... 6
 2.3 Promises ............................................................................................................... 8
 2.4 Reservation-Based Techniques .......................................................................... 10
 2.5 Transactional Attitudes ...................................................................................... 11
 2.6 Tentative Holding .............................................................................................. 12
 2.7 Monitoring Extensions to BPEL ........................................................................ 13
 2.8 Aspect-Oriented Workflows .............................................................................. 14
 2.9 Summary ............................................................................................................ 16
 
 III. BACKGROUND RESEARCH FOR THE USE OF INVARIANTS.................................... 18
 3.1 Delta-Enabled Grid Services.............................................................................. 18
 3.2 Service Composition and Recovery with Assurance Points .............................. 20
 
 IV. OVERVIEW OF THE INVARIANT MONITORING SYSTEM ....................................... 23
 4.1 The Invariant Monitoring System ...................................................................... 23
 4.2 Invariant Specification ....................................................................................... 25
 4.3 Hotel Room Monitoring Example...................................................................... 26
 4.4 Bank Loan Application Monitoring Example.................................................... 28
 4.5 Summary ............................................................................................................ 30
 
 V. A PROTOTYPE OF THE INVARIANT MONITORING SYSTEM ................................... 31
 5.1 Monitored Objects.............................................................................................. 31
 5.2 XML Representation of Invariants .................................................................... 33
 5.3 Registration of Invariants................................................................................... 37
 5.4 Invariant Evaluation Web Service ..................................................................... 38
 5.5 Extensions to DEGS........................................................................................... 40
 5.6 The Delta Analysis Process................................................................................ 40
 5.6.1 Invariant Storage Container ................................................................................... 41
 5.6.2 Overview of the Delta Process Filtering ................................................................. 45
 5.6.3 Delta Filtering Algorithms....................................................................................... 47
 
 VI. TESTING AND EVALUATION OF THE INVARIANT MONITORING SYSTEM............. 57
 6.1 Testing Environment Setup................................................................................ 57
 Texas Tech University, Andrew Courter, December 2010 iii 6.2 Test Cases .......................................................................................................... 58
 6.3 Performance of Invariant Evaluation ................................................................. 58
 
 VII. SUMMARY AND FUTURE RESEARCH.................................................................... 62 REFERENCES........................................................................................................... 64
 Texas Tech University, Andrew Courter, December 2010